1. Algebraic and coalgebraic methods in the mathematics of program construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000, revised lectures
پدیدآورنده : Roland Backhouse, Roy Crole, Jeremy Gibbons, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
2297
2. Algorithmic problem solving /
پدیدآورنده : Roland Backhouse.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Problem solving.,Computer algorithms.,Computer Science.,Engineering & Applied Sciences.,Problem solving.
رده :
QA76
.
9
.
A43
B34
2011
3. Construction et verification de programmes
پدیدآورنده : BACKHOUSE,ROLAND C
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
B22
1989
4. Generic programming : advanced lectures
پدیدآورنده : Roland Backhouse, Jeremy Gibbons )eds.(
کتابخانه: (طهران)
موضوع : ، Generic programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2793
5. Mathematics of program construction : 5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
پدیدآورنده : Roland Backhouse, Jose Nuno Oliveira )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
1837
6. Program construction and verification
پدیدآورنده : Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
7
.
B28
1986
7. Program construction and verification
پدیدآورنده : Roland C. Backhouse
موضوع : Computer programs,Computer programs- Validation
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Program construction and verification
پدیدآورنده : Backhouse, Roland C
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
7
.
B28
1986
9. Syntax of programming languages: theory and practice
پدیدآورنده : Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3